81. High performance networking, computing, communication systems, and mathematical foundations: International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، High performance computing,Congresses ، Computer science-- Mathematics
رده :
QA
76
.
88
.
I58
2009
82. Information recovery and discovery
پدیدآورنده : editors : Institute of Mathematics for Industry, Kyushu University
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Data recovery )Computer science(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
D348F6
2012
83. Information technology and applied mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
84. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
9
.
M35
.
I567
1995
85. Intelligent Computer Mathematics
پدیدآورنده : \ [Edited by] Manfred Kerber...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Artificial intelligence -- Mathematics -- Congresses,کامپیوتر -- ریاضیات -- کنگره ها,هوش مصنوعی -- ریاضیات -- کنگره ها
رده :
QA76
.
9
.
M35I58
2015
E-Book
,
86. Intelligent Computer Mathematics
پدیدآورنده : \ [Edited by] Herman Geuvers...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses. ,Artificial intelligence -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها,هوش مصنوعی -- ریاضیات -- کنگره ها
رده :
E-Book
,
87. Intelligent Computer Mathematics
پدیدآورنده : \ Michael Kohlhase ... [et.al], (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses,Artificial intelligence -- Mathematics,علوم کامپیوتر -- ریاضیات -- کنگرهها,هوش مصنوعی -- ریاضیات
رده :
E-Book
,
88. Intelligent computer mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
89. Intelligent computer mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
90. Intelligent computer mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
91. Iterative methods for large linear systems
پدیدآورنده : edited by David R. Kincaid and Lind J. Hayes
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Iterative methods )Mathematics(,Congresses ، Vector processing )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
432
.
I84
1990
92. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
93. MFDBS'89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989 : Proceedings
پدیدآورنده : J. Demetrovics, B. Thalheim, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Database management,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
364
94. MFDBS 89: 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Database management,Mathematics Congresses ، Computer science
رده :
QA
76
.
9
.
D3
.
S975
1989
95. MFDBS 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Database management,Congresses ، Expert systems )Computer science(,Mathematics Congresses ، Computer science
رده :
QA
76
.
9
.
D3
.
S973
1991
96. MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings
پدیدآورنده : B. Thalheim, J. Demetrovics, H.-D. Gerhardt )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Database management,Congresses ، Expert systems )Computer science(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
495
97. Machines, Computations, and Universality
پدیدآورنده : \ Jérôme Durand-Lose , Benedek Nagy (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer multitasking -- Congresses,Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- کنگرهها ,چند وظیفهگی رایانه -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
75
.
5
.
M32
2015
E-Book
,
98. Mathematical Foundations of Computer Science 1990
پدیدآورنده : Rovan, B.; editor by G.Goos and J. Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Science - Mathematics - Congresses
رده :
QA
76
.
9
.
M35
S96
1660
99. Mathematical Foundations of Computer Science 2010
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگرهها,منطق کامپیوتری -- کنگرهها
رده :
E-Book
,
100. Mathematical Foundations of Computer Science 2007
پدیدآورنده : \ Luděk Kučera, Antonín Kučera (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
E-Book
,